Vision and abstraction: an empirical refutation of Nico Orlandi’s non-cognitivism

Generating the Structure of Argument

This paper demonstrates that generating arguments in natural language requires planning at an abstract level, and that the appropriate abstraction cannot be captured by approaches based solely upon coherence relations. An abstraction based planning system is presented which employs operators motivated by empirical study and rhetorical maxims. These operators include a subset of traditional dedu...

First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement

Counterexample-guided abstraction refinement is a well-established technique in verification. In this paper we instantiate the idea for firstorder logic theorem proving. Given a clause set N we propose its abstraction into a clause set N ′ belonging to a decidable first-order fragment. The abstraction preserves satisfiability: if N ′ is satisfiable, so is N . A refutation in N ′ can then either...

Abstraction for Verification and Refutation in Model Checking

ION FOR VERIFICATION AND REFUTATION IN MODEL CHECKING

An Investigation of Structural-Mechanical Properties of Spun-Bonded Non-Woven Using Computer Vision Method

Verification and Refutation of Probabilistic Specifications via Games

We develop an abstraction-based framework to check probabilistic specifications of Markov Decision Processes (MDPs) using the stochastic two-player game abstractions (i.e. “games”) developed by Kwiatkowska et al. as a foundation. We define an abstraction preorder for these game abstractions which enables us to identify many new game abstractions for each MDP — ranging from compact and imprecise...